$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), ${\it keyv}$:(($\mathbb{N}$+Atom1)$\times$data($T$)).
\\[0ex]encrypt(${\it tab}$;${\it keyv}$) $\in$ secret{-}table($T$)